منابع مشابه
Ambient Utopia
This chapter presents an analysis of the ambitions that lie behind the concept of Ambient Intelligence as it is presented by the advocates and researchers working in the field. In particular it looks at the ideas regarding the forms of natural and intuitive forms of interaction that are envisaged including agents and robots from a philosophical perspective. The views on interaction are analysed...
متن کاملEngineering Utopia
The likely advent of AGI and the long-established trend of improving computational hardware promise a dual revolution in coming decades: machines which are both more intelligent and more numerous than human beings. This possibility raises substantial concern over the moral nature of such intelligent machines, and of the changes they will cause in society. Will we have the chance to determine th...
متن کاملSketched Answer Set Programming
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Answer Set Programming (SkASP), aiming at supporting the user in resolving this issue. The user writes an ASP program while marking uncertain parts open with question marks. In addition, the user provides a number of pos...
متن کاملSketched Solutions to Exercises
4.3. (i) Since HomA(A (I),M) ∼= M (I) for a set I and ⊕ is exact, it is clear that HomA(A (I),−) is exact, i.e. A(I) is projective. (ii) “Only if” part: Let A(P ) = ⊕ p∈P Ap be the free A-module indexed by P and ψ : A (P ) → p be the A-homomorphism such that ψ(1p) = p. Then ψ is surjective. If P is projective, then ψ has a section, i.e. an A-homomorphism φ : P → A(P ) such that ψ ◦ φ = idP . Th...
متن کاملSketched Solutions to Exercises
(ii) Denote this map by φ, which is induced by the compositions with εi : Xi ↪→ ⊔ j Xj , i ∈ I. If φ(fi) = φ(gj) for some fi ∈ Hom(Y,Xi) and gj ∈ Hom(Y,Xj), then we must have i = j because φ(fi) and φ(gj) have the same image. Since φ(fi) = εi ◦ fi, φ(gi) = εi ◦ gi and εi is an injective map, we deduce that fi(y) = gi(y), ∀y ∈ Y , i.e. fi = gi. (iii) This map is induced by the composition with t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 2003
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.5743